1959 search results - page 56 / 392 » Concerned About Separation |
IJEIS
2010
14 years 9 months ago
2010
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents our ongoing research towards a safe system evolution. Our approach is based on data-centric, objectoriented systems. Within those systems we utilise (i) multi-...
CC
2001
Springer
15 years 3 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...