Sciweavers

3379 search results - page 62 / 676
» Combinators for Interaction Nets
Sort
View
INFOCOM
1997
IEEE
15 years 4 months ago
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
CORR
2002
Springer
89views Education» more  CORR 2002»
14 years 11 months ago
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
Thesystempresented here showsthe feasibility of modcling the knowledgeinvolved in a complexmusical activity by integrating sub-symbolicand symbolicprocesses. Thisresearch focuses ...
Claudia V. Goldman, Dan Gang, Jeffrey S. Rosensche...
HCSE
2010
14 years 10 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
LWA
2007
15 years 1 months ago
The Effectiveness of Concept Based Search for Video Retrieval
In this paper we investigate how a small number of high-level concepts derived for video shots, such as Sports, Face, Indoor, etc., can be used effectively for ad hoc search in vi...
Claudia Hauff, Robin Aly, Djoerd Hiemstra
AICCSA
2008
IEEE
290views Hardware» more  AICCSA 2008»
15 years 6 months ago
Test of preemptive real-time systems
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mu...