8644 search results - page 149 / 1729 » On the Composition of Secure Systems |
208
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...
166
click to vote
EDOC
2006
IEEE
16 years 19 days ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
150
click to vote
GEM
2008
15 years 8 months ago
2008
This paper presents a realtime music composition system based on a theme and variation approach. The system uses MIDI and allows up to sixteen instruments to play together. Each in...
157
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...