9455 search results - page 1486 / 1891 » The Modelling Language Zinc |
225
Voted
LADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
183
Voted
UM
2007
Springer
16 years 29 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
187
Voted
ACSD
2006
IEEE
16 years 28 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
167
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
180
click to vote
RTAS
2006
IEEE
16 years 26 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...