8928 search results - page 272 / 1786 » Modeling Current Events |
136
click to vote
MBUI
2004
15 years 5 months ago
2004
Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...
105
click to vote
FLAIRS
2000
15 years 5 months ago
2000
In the first section wegive a very short surveyon current researchon web-basededucationalsystemsand relatedproblems.Inthesecondsectionwearguethat knowledgerepresentationandontolog...
126
Voted
FAC
2002
15 years 3 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
138
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
152
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...