Sciweavers

242 search results - page 21 / 49
» How to deal with software stability
Sort
View
ICFEM
2009
Springer
14 years 5 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
WER
2004
Springer
14 years 4 months ago
Towards Requirement Traceability in TROPOS
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
Andréa Castor, Rosa Pinto, Carla T. L. L. S...
SEKE
2009
Springer
14 years 5 months ago
Towards Mobility Support in Smart Environments
Smart environments are subject to intensive academic and industrial research. Many of these research projects deal with challenges such as heterogeneity, personalization and conte...
Daniel Retkowitz, Ibrahim Armac, Manfred Nagl
AUIC
2006
IEEE
14 years 5 months ago
An interface test-bed for 'Kansei' filters using the touch designer visual programming environment
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
Rodney Berry, Masahide Naemura, Yuichi Kobayashi, ...
IWPC
1999
IEEE
14 years 3 months ago
Understanding COBOL Systems using Inferred Types
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
Arie van Deursen, Leon Moonen