3653 search results - page 322 / 731 » On Recognizable Timed Languages |
144
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
159
Voted
ICAIL
1995
ACM
15 years 10 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
214
click to vote
TOOLS
1991
IEEE
15 years 10 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
187
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
We present an all-optical approach to constructing data networks on chip that combines the following key features: (1) Wavelengthbased routing, where the route followed by a packe...
190
click to vote
WSC
2007
15 years 9 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...