1536 search results - page 242 / 308 » The Underlying Logic of Hoare Logic |
172
click to vote
INFOCOM
2006
IEEE
16 years 6 days ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...
174
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
153
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
162
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
144
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...