5972 search results - page 923 / 1195 » Extending Design Environments to Software Architecture Desig... |
165
click to vote
IUI
2006
ACM
16 years 18 days ago
2006
ACM
Recent interest in the use of software character agents raises the issue of how many agents should be used in online learning. In this paper we review evidence concerning the rela...
178
click to vote
ADAEUROPE
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
195
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
168
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
155
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...