3897 search results - page 407 / 780 » complexity 2010 |
131
click to vote
ENTCS
2007
15 years 6 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
181
Voted
ENTCS
2007
15 years 6 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...