2493 search results - page 340 / 499 » Tool Support for Design by Contract |
87
Voted
SAINT
2006
IEEE
15 years 4 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The tradition of a worker who retires by age 65 is being replaced by a trend of longer periods of employment, leading people to believe that an aging workforce will be a major soc...
74
Voted
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
IUI
2004
ACM
15 years 3 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...