3828 search results - page 140 / 766 » Proof-Based System Engineering Using a Virtual System Model |
170
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
148
Voted
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
177
Voted
CSMR
1999
IEEE
15 years 10 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
164
click to vote
NCA
2007
IEEE
16 years 10 days ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ...
163
click to vote
FASE
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...