1848 search results - page 311 / 370 » A Question Answering System for the Operation of Software Ap... |
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
ICICS
2005
Springer
14 years 2 months ago
2005
Springer
Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and remov...
ICALP
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...