Sciweavers

5101 search results - page 353 / 1021
» Capturing Context Requirements
Sort
View
IPSN
2005
Springer
16 years 8 days ago
A key pre-distribution scheme using deployment knowledge for wireless sensor networks
— Sensor networks pose security and privacy challenges. One challenge is how to bootstrap secure communications among nodes. Several key pre-distribution schemes have been propos...
Zhen Yu, Yong Guan
ICTAC
2004
Springer
16 years 4 days ago
Inherent Causal Orderings of Partial Order Scenarios
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
Bill Mitchell
CAEPIA
2003
Springer
16 years 7 hour ago
A Model for Fuzzy Temporal Reasoning on a Database
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
Manuel Campos, José Palma, Roque Marí...
EDOC
2002
IEEE
15 years 11 months ago
Model Driven Geo-Information System's Development
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
Javier Morales, Luís Ferreira Pires, Marten...
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...