2607 search results - page 275 / 522 » On the Architecture of System Verification Environments |
190
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
204
click to vote
ASE
2005
15 years 6 months ago
2005
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
186
click to vote
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
193
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
170
click to vote
WSC
1997
15 years 8 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...