7557 search results - page 504 / 1512 » Modeling Timed Concurrent Systems |
204
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Providing scalable database services is an essential requirement for extending many existing applications of the Cloud platform. Due to the diversity of applications, database ser...
207
click to vote
OWLED
2008
15 years 8 months ago
2008
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
149
click to vote
ECAL
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
229
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
167
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...