11063 search results - page 1832 / 2213 » On the existence of universal models |
169
click to vote
LADS
2007
Springer
16 years 29 days ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
173
click to vote
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
157
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
180
click to vote
OTM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
176
click to vote
SCALESPACE
2007
Springer
16 years 29 days ago
2007
Springer
Incorporating shape priors in image segmentation has become a key problem in computer vision. Most existing work is limited to a linearized shape space with small deformation modes...