8644 search results - page 389 / 1729 » On the Composition of Secure Systems |
188
click to vote
ENTCS
2007
15 years 7 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
221
Voted
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
167
Voted
COMPSAC
2002
IEEE
16 years 16 days ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
181
click to vote
EDOC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
224
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...