1150 search results - page 140 / 230 » Specifying Information-Flow Controls |
ETRICS
2006
13 years 12 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
EUC
2006
Springer
13 years 12 months ago
2006
Springer
Predictive p-persistent CSMA protocol is an important MAC solution developed for networked sensor/control applications and used in Local Operating Networks (LonWorks) technology. T...
CGI
2001
IEEE
13 years 12 months ago
2001
IEEE
Inverse kinmatics is one of the most popular method in computer graphics to control 3D multi-joint characters. In this paper, we propose an inverse kinematics algorithm that takes...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...