190 search results - page 20 / 38 » Dynamic Control Operators in Type Theory |
FLAIRS
2001
13 years 8 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
HICSS
2008
IEEE
13 years 6 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
EMSOFT
2004
Springer
14 years 4 days ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
WWW
2004
ACM
14 years 7 months ago
2004
ACM
This paper presents a method for admission control and request scheduling for multiply-tiered e-commerce Web sites, achieving both stable behavior during overload and improved res...
HICSS
2003
IEEE
14 years 1 days ago
2003
IEEE
This paper examines the value drivers and e-business infrastructures for collaborative commerce across two distinct types of business-to-business governance arrangements in Financ...