723 search results - page 32 / 145 » Exclusion for composite objects |
FORTE
2004
14 years 11 days ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper a reactive and concurrent control framework for viewpoint control is developed. The viewpoint control task is decomposed into three control objectives namely; obstac...
GIS
2006
ACM
15 years 3 hour ago
2006
ACM
Topological relationships between objects in space are of great importance in many disciplines. Recently, topological relationships have been defined for complex spatial objects. ...
PADS
2009
ACM
14 years 5 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
ICWE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...