Sciweavers

2062 search results - page 157 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
ISSTA
2006
ACM
16 years 28 days ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
181
Voted
ISPW
2010
IEEE
15 years 11 months ago
Software Process Model Blueprints
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
Julio Ariel Hurtado Alegria, Alejandro Lagos, Alex...
COMPSAC
2005
IEEE
16 years 17 days ago
Situation-Awareness for Adaptive Coordination in Service-Based Systems
Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland ...
Stephen S. Yau, Dazhi Huang, Haishan Gong, Hasan D...
199
Voted
ATAL
2003
Springer
16 years 5 days ago
Modelling secure multiagent systems
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
Haralambos Mouratidis, Paolo Giorgini, Gordon A. M...
181
Voted
ETFA
2005
IEEE
16 years 17 days ago
Modelling of distributed system in one single simulation model: a way to study communications within distributed systems
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
G. Christine, G. Emilie