3005 search results - page 258 / 601 » Logical Information Systems: from Taxonomies to Logics |
203
click to vote
MBEES
2010
15 years 5 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
182
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
194
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
203
click to vote
JAIR
2008
15 years 6 months ago
2008
Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to ...
227
click to vote
ECMDAFA
2005
Springer
16 years 7 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...