2873 search results - page 339 / 575 » Model Checking and the Mu-calculus |
218
click to vote
ICOODB
2010
15 years 1 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
123
click to vote
CGI
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
157
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
138
click to vote
SELMAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
150
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...