Sciweavers

1206 search results - page 177 / 242
» Concurrent Abstract Predicates
Sort
View
110
Voted
INFOCOM
2003
IEEE
15 years 5 months ago
Opportunistic Fair Scheduling over Multiple Wireless Channels
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
Yonghe Liu, Edward W. Knightly
AC
2003
Springer
15 years 5 months ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...
94
Voted
BIRTHDAY
2003
Springer
15 years 5 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
DSVIS
2003
Springer
15 years 5 months ago
MIKE: A Multimodal Cinematographic Editor for Virtual Worlds
Abstract. We present an interface that allows creating camera scripts and storyboards for virtual scenes through a multimodal combination of speech and gestures. Users can specify ...
Bruno Rodrigues de Araújo, André M. ...
102
Voted
COOPIS
2002
IEEE
15 years 5 months ago
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
Boris Motik, Alexander Maedche, Raphael Volz