Sciweavers

2806 search results - page 313 / 562
» BML and Related Tools
Sort
View
OTM
2010
Springer
15 years 5 months ago
Modelling the Public Sector Information through CIDOC Conceptual Reference Model
Nowadays, due to the growing development of eGovernment information systems, there is an increasing need to handle Public Sector Information (PSI) in a homogeneous way. Ontologies ...
Lina Bountouri, Christos Papatheodorou, Manolis Ge...
FORMATS
2010
Springer
15 years 4 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar...
GLOBECOM
2010
IEEE
15 years 4 months ago
A Graphical Framework for Spectrum Modeling and Decision Making in Cognitive Radio Networks
There are many key problems of decision making related to spectrum occupancies in cognitive radio networks. It is known that there exist correlations of spectrum occupancies in tim...
Husheng Li, Robert C. Qiu
CMSB
2010
Springer
15 years 1 months ago
Action-based analysis of discrete regulatory networks with short-term stimuli
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
Christian Krause, Carola Krause, Erik P. de Vink
JAISE
2010
124views Algorithms» more  JAISE 2010»
15 years 1 months ago
Exploring the responsibilities of single-inhabitant Smart Homes with Use Cases
This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Home...
Paul Lyons, An Tran Cong, H. Joe Steinhauer, Steph...