Sciweavers

5407 search results - page 96 / 1082
» The Software Engineering Global Model
Sort
View
SIMULATION
2010
96views more  SIMULATION 2010»
14 years 10 months ago
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
ICSE
2001
IEEE-ACM
15 years 7 months ago
Workshop on Software Engineering and Mobility
Mobility is redefining the hardware and software fabric of distributed systems. Wireless communication allows network hosts to participate in a distributed computation while on t...
Gruia-Catalin Roman, Gian Pietro Picco
COMSWARE
2007
IEEE
15 years 9 months ago
Situation-Aware Software Engineering for Sensor Networks
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
Vir V. Phoha, Shashi Phoha
ARCS
2004
Springer
15 years 8 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
DLOG
2004
15 years 4 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...