898 search results - page 139 / 180 » The Certification of Software Tools with respect to Software... |
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ITS
1998
Springer
14 years 20 days ago
1998
Springer
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— A novel parallel approach to run standard particle swarm optimization (SPSO) on Graphic Processing Unit (GPU) is presented in this paper. By using the general-purpose computing...
EMISA
2009
Springer
14 years 3 months ago
2009
Springer
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...