1492 search results - page 250 / 299 » Automatic Software Model Checking Using CLP |
118
click to vote
ECMDAFA
2008
Springer
14 years 11 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
113
click to vote
TES
2001
Springer
15 years 2 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
68
Voted
WETICE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes the implementation of a thin user-level layer to be installed on Grid resources. The layer fits in the Minimum intrusion Grid design by imposing as few requi...
104
click to vote
ICEGOV
2009
ACM
14 years 7 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
MBEES
2010
14 years 8 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...