Sciweavers

4513 search results - page 275 / 903
» Modeling with a Sense of Purpose
Sort
View
ISCC
2000
IEEE
125views Communications» more  ISCC 2000»
15 years 11 months ago
Security Requirements for Management Systems Using Mobile Agents
Flexible and distributed management systems based on mobile agents have certain advantages over centralized and static management architectures. However, security plays a decisive...
Helmut Reiser, Gerald Vogt
MAAMAW
1999
Springer
15 years 11 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...
ICIW
2007
IEEE
15 years 10 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
WSC
2008
15 years 9 months ago
A methodology for unit testing actors in proprietary discrete event based simulations
CT This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation v...
Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkins...
DEXAW
2008
IEEE
124views Database» more  DEXAW 2008»
15 years 8 months ago
Weighting Influence of User Behavior in Software Validation
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
Antonia Bertolino, Emanuela G. Cartaxo, Patr&iacut...