7380 search results - page 251 / 1476 » Engineering Software Intensive Systems |
108
click to vote
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
TACS
1994
Springer
15 years 6 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
122
Voted
FASE
2000
Springer
15 years 6 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
114
click to vote
ITNG
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
112
click to vote
MAGS
2007
15 years 2 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...