3468 search results - page 599 / 694 » An open logical framework |
ISW
2005
Springer
14 years 2 months ago
2005
Springer
In a group signature [19], any group member can sign on behalf of the group while remaining anonymous, but its identity can be traced in an future dispute investigation. Essentiall...
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
SENSYS
2003
ACM
14 years 2 months ago
2003
ACM
Sensor networks promise viable solutions to many monitoring problems. However, the practical deployment of sensor networks faces many challenges imposed by real-world demands. Sen...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
IWCMC
2010
ACM
14 years 1 months ago
2010
ACM
The first step required by the process of cognition is the intelligent observation of the environment that surrounds the actors of such a process. We present the CalRAdio-Based a...