20126 search results - page 29 / 4026 » Timed Transition Systems |
110
Voted
TSD
2000
Springer
15 years 4 months ago
2000
Springer
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
92
Voted
TVCG
2002
15 years 3 days ago
2002
100
Voted
ITC
2002
IEEE
15 years 5 months ago
2002
IEEE
1 Scan based transition tests are added to improve the detection of speed failures using scan tests. Empirical data suggests that both data volume and application time, for transi...
131
Voted
EPEW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...