1888 search results - page 191 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
134
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
142
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
162
click to vote
JWSR
2011
14 years 11 months ago
2011
: Semantic Web Services (SWS) aim at the automated discovery, selection and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions...
125
click to vote
CASCON
2006
15 years 5 months ago
2006
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
114
click to vote
SG
2007
Springer
15 years 10 months ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...