426 search results - page 20 / 86 » E-AoSAS and its Software Development Environment |
CAV
2009
Springer
16 years 7 days ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
CHI
2007
ACM
15 years 3 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...
APNOMS
2006
Springer
15 years 3 months ago
2006
Springer
This paper intends to introduce the development of a terminal agent for QoS measurement that is suitable for an NGN environment, and to summarize the results of its performance tes...
CPHYSICS
2007
14 years 11 months ago
2007
We discuss various aspects of programming physics education software in Adobe Flash. Since the authoring environment for Flash is initially developed for non-programmers, it is ea...