11484 search results - page 591 / 2297 » Modeling in the Large and Modeling in the Small |
217
click to vote
ECBS
2008
IEEE
15 years 9 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
151
click to vote
AAAI
2010
15 years 8 months ago
2010
In an interlinked corpus of documents, the context in which a citation appears provides extra information about the cited document. However, associating terms in the context to th...
169
click to vote
MIE
2008
15 years 8 months ago
2008
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...
203
click to vote
PST
2008
15 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
227
click to vote
MASCOTS
1993
15 years 8 months ago
1993
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...