9989 search results - page 324 / 1998 » A CLP Approach to Modelling Systems |
151
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
164
click to vote
HASKELL
2006
ACM
16 years 20 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
181
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
197
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
171
click to vote
DBSEC
2003
15 years 8 months ago
2003
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...