2153 search results - page 360 / 431 » From Requirements Models to Formal Specifications in B |
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
POLICY
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
APSEC
2002
IEEE
14 years 3 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
CBSE
2006
Springer
14 years 1 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
EDBT
2010
ACM
14 years 1 months ago
2010
ACM
So far, data warehousing has often been discussed in the light of complex OLAP queries and as reporting facility for operative data. We argue that business planning as a means to ...