11963 search results - page 370 / 2393 » A framework for linguistic modelling |
189
click to vote
IEE
2010
15 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
181
click to vote
ICWE
2005
Springer
16 years 10 days ago
2005
Springer
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
197
click to vote
SAINT
2003
IEEE
16 years 2 days ago
2003
IEEE
—The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Compositio...
156
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
190
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...