2623 search results - page 419 / 525 » Hoare Logic in the Abstract |
COMSWARE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
HPDC
1998
IEEE
15 years 2 months ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...
ECOOPW
1998
Springer
15 years 2 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
FOIS
2006
14 years 11 months ago
2006
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin wi...