2765 search results - page 53 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
167
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
158
click to vote
AIEDU
2005
15 years 6 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
143
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportun...
161
click to vote
SAMOS
2007
Springer
16 years 11 days ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
178
click to vote
TASE
2007
IEEE
16 years 16 days ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...