Sciweavers

3142 search results - page 340 / 629
» Applied ontology issues
Sort
View
AINA
2008
IEEE
15 years 8 months ago
A Case Study on Software Evolution towards Service-Oriented Architecture
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
Félix Cuadrado, Boni García, Juan C....
CBMS
2007
IEEE
15 years 8 months ago
From Local Laboratory Data to Public Domain Database in Search of Indirect Association of Diseases: AJAX Based Gene Data Search
This paper presents an extensible schema for capturing laboratory gene variance data with its meta-data properties in a semi-structured environment. This paper also focuses on the...
Nawaz Khan, Ham Long, Shahedur Rahman, Tony Stockm...
CSMR
2008
IEEE
15 years 8 months ago
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
Dan C. Cosma, Radu Marinescu
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
188
Voted
APCCM
2008
15 years 8 months ago
Making Workflows Context-aware: A Way to Support Knowledge-intensive Tasks
In business processes, knowledge-intensive tasks are ones in which the people performing such tasks are involved in a fair degree of uncertainty. These people are required to appl...
Mitra Heravizadeh, David Edmond