Sciweavers

409 search results - page 69 / 82
» Approaching a Discrete-Continuous UML: Tool Support and Form...
Sort
View
CSFW
2004
IEEE
15 years 3 months ago
Selecting Appropriate Counter-Measures in an Intrusion Detection Framework
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
Frédéric Cuppens, Sylvain Gombault, ...
WSC
2008
15 years 1 months ago
A simulation framework for service-oriented computing systems
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ram...
APCCM
2007
15 years 1 months ago
A Data Quality Metamodel Extension to CWM
The importance of metadata has been broadly referred in the last years, mainly in the field of data warehousing and decision support systems. Contemporarily, in the adjacent field...
Pedro Gomes, José Farinha, Maria José...
ATAL
2006
Springer
15 years 3 months ago
Integrating agent-oriented methodologies with UML-AT
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
108
Voted
TCS
2002
14 years 11 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer