561 search results - page 77 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
148
click to vote
ER
2007
Springer
16 years 9 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
137
click to vote
ICMB
2005
IEEE
15 years 11 months ago
2005
IEEE
Middleware has greatly promoted the 3-tie mode of application systems. But as application software requirements become more complex and more frequently changing, the development c...
139
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...
166
click to vote
CD
2005
Springer
15 years 11 months ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
139
click to vote
ICRA
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...