330 search results - page 45 / 66 » Towards A Practical Approach to Test Aspect-Oriented Softwar... |
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
DISCEX
2003
IEEE
14 years 1 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
DAGSTUHL
1996
13 years 10 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
JUCS
2008
13 years 8 months ago
2008
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
DCOSS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...