2106 search results - page 229 / 422 » Specifying C concepts |
136
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
141
Voted
PEWASUN
2004
ACM
15 years 9 months ago
2004
ACM
Interferences in an ad-hoc network can be defined as a set of constraints that specify which groups of nodes cannot transmit simultaneously, and they have significant implications...
160
Voted
SWS
2004
ACM
15 years 9 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
119
Voted
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
112
Voted
GC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...