1179 search results - page 187 / 236 » Programming in Hybrid Constraint Languages |
151
Voted
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
157
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
162
click to vote
DMSN
2008
ACM
15 years 7 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
165
Voted
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
173
click to vote
VL
2005
IEEE
15 years 11 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...