3381 search results - page 493 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
173
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
219
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...
217
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Query-by-example is the most popular query model for today’s image retrieval systems. A typical query image contains not only relevant objects (e.g., Eiffel Tower), but also ir...
156
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper studies mobile-generated traffic distributions in mobile ATM networks and evaluates the performance of path rerouting algorithms for handoff control. In mobile ATM netwo...
191
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Allowing robots to communicate naturally with humans is a major goal for social robotics. Most approaches have focused on building high-level probabilistic cognitive models. Ho...