Sciweavers

2599 search results - page 343 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 4 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
WWW
2007
ACM
16 years 5 months ago
C-ODO: an OWL Meta-model for Collaborative Ontology Design
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
Aldo Gangemi, Jos Lehmann, Valentina Presutti, Mal...
HICSS
2007
IEEE
141views Biometrics» more  HICSS 2007»
15 years 10 months ago
Modular Integration Through Aspects: Making Cents of Legacy Systems
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
Celina Gibbs, Daniel Lohmann, Chunjian Robin Liu, ...
CE
2008
102views more  CE 2008»
15 years 4 months ago
E-Science in the classroom - Towards viability
E-Science has the potential to transform school science by enabling learners, teachers and research scientists to engage together in authentic scientific enquiry, collaboration an...
Joshua Underwood, Hilary Smith, Rosemary Luckin, G...