3229 search results - page 174 / 646 » Theories with the Independence Property |
163
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
145
click to vote
IANDC
2008
15 years 6 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
165
click to vote
JCC
2002
15 years 6 months ago
2002
: Several molecular dynamics simulations were performed on three proteins--bovine apo-calbindin D9K, human interleukin-4 R88Q mutant, and domain IIA of bacillus subtilis glucose pe...
204
click to vote
IEE
2011
15 years 1 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
205
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...