1117 search results - page 112 / 224 » Domain Specific Engineering Environments |
132
Voted
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
124
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
127
Voted
AC
2005
Springer
15 years 3 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
176
Voted
CSSE
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
146
Voted
OTM
2010
Springer
15 years 1 months ago
2010
Springer
In the last years the user information seeking process on the Web has shifted from document search to object search. Hence, the answers provided by Web search engines cannot consis...