1564 search results - page 152 / 313 » Tool Support for Architectural Decisions |
206
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
151
click to vote
NGITS
1995
Springer
15 years 10 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
136
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper describes architecture, design, and implementation of Multitutor, a Web-based environment for the development the elearning courses and for the use of them by the studen...
154
click to vote
WOA
2003
15 years 7 months ago
2003
— The aim of this paper is to focus on the issues connected with the diagrammatic notations and tools, which should support developers when moving from the design phase towards t...
162
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...