3765 search results - page 531 / 753 » Formal Methods for Systems Engineering Behavior Models |
143
Voted
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
210
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
189
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
187
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Mobile devices can produce continuous streams of data which are often specific to the person carrying them. We show that cell phone tracks from the MIT Reality dataset can be u...
177
click to vote
AVI
2008
15 years 9 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...