414 search results - page 52 / 83 » Reflections on the Object Constraint Language |
104
click to vote
ECWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
DAC
2002
ACM
16 years 22 days ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
108
click to vote
ATAL
2010
Springer
15 years 26 days ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
VL
1990
IEEE
15 years 3 months ago
1990
IEEE
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
109
click to vote
VL
2005
IEEE
15 years 5 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 ...