237 search results - page 24 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
CORR
2002
Springer
13 years 8 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
SACMAT
2011
ACM
12 years 11 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deï¬...
FORTE
2008
13 years 10 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
JSAC
2011
13 years 3 months ago
2011
Abstract—Cognitive radio is a promising technology for fulï¬lling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...