1728 search results - page 181 / 346 » Formal Modeling of Process Migration |
147
click to vote
CMSB
2007
Springer
15 years 9 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
114
click to vote
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
125
click to vote
RIDE
1999
IEEE
15 years 7 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
124
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
145
click to vote
FOSAD
2000
Springer
15 years 6 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...