414 search results - page 52 / 83 » Reflections on the Object Constraint Language |
138
click to vote
ECWEB
2004
Springer
15 years 9 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...
138
Voted
DAC
2002
ACM
16 years 4 months 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...
159
Voted
ATAL
2010
Springer
15 years 4 months 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...
115
click to vote
VL
1990
IEEE
15 years 7 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...
151
Voted
VL
2005
IEEE
15 years 9 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 ...