3828 search results - page 690 / 766 » Proof-Based System Engineering Using a Virtual System Model |
127
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
143
click to vote
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
132
Voted
JWSR
2006
15 years 2 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
144
Voted
CCGRID
2010
IEEE
14 years 5 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
126
Voted
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...