5904 search results - page 782 / 1181 » Requirements for a Composition Language |
192
click to vote
PROVSEC
2007
Springer
16 years 1 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
191
click to vote
APSEC
2006
IEEE
16 years 29 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
185
click to vote
HPCS
2006
IEEE
16 years 28 days ago
2006
IEEE
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...
189
click to vote
IEEEPACT
2006
IEEE
16 years 28 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
167
click to vote
IEEESCC
2006
IEEE
16 years 28 days ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...