1285 search results - page 82 / 257 » Structural Operators for Modeling 3-Manifolds |
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
114
Voted
TKDE
1998
15 years 8 days ago
1998
—This paper describes a unified data model that represents multimedia, timeline, and simulation data utilizing a single set of related data modeling constructs. A uniform model f...
106
click to vote
SOCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
97
Voted
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
124
click to vote
IJCV
2008
15 years 19 days ago
2008
Abstract There are billions of photographs on the Internet, comprising the largest and most diverse photo collection ever assembled. How can computer vision researchers exploit thi...