144 search results - page 9 / 29 » How Expressions Can Code for Automata |
108
Voted
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
82
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
106
Voted
DKE
2007
15 years 10 days ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
102
click to vote
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
93
Voted
CORR
2007
Springer
15 years 10 days ago
2007
Springer
Universally achievable error exponents pertaining to certain families of channels (most notably, discrete memoryless channels (DMC’s)), and various ensembles of random codes, ar...