383 search results - page 66 / 77 » Testing Concurrent Systems: A Formal Approach |
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
IAT
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
117
click to vote
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
JUCS
2008
14 years 9 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
ICWE
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...