3 Result(s)
within
Conference Paper
M. Brian Blake
Computer Science
Computer Communication Networks
Software Engineering
-
Chapter and Conference Paper
Static Detection of Implementation Errors Using Formal Code Specification
The software engineering community suggests that formal specification of source code facilitates the verification that can help to identify hidden functional errors. In this work, we investigate the impact of ...
-
Chapter and Conference Paper
Engineering Energy-Aware Web Services toward Dynamically-Green Computing
With the emergence of commodity computing environments (i.e. clouds), information technology (IT) infrastructure providers are creating data centers in distributed geographical regions. Since geographic region...
-
Chapter and Conference Paper
Object-Oriented Modeling Approaches to Agent-Based Workflow Services
With the increasing popularity of component-based services and semantic web services, the idea of specification-driven service composition is becoming a reality. With the distribution of these autonomous servi...
