2632 search results - page 87 / 527 » Alternating Timed Automata |
116
click to vote
JISE
2010
14 years 8 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
CSCLP
2007
Springer
15 years 7 months ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
109
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
112
click to vote
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
Automata-based representations and related algorithms have been applied to address several problems in information security, and often the automata had to be augmented with additi...
100
click to vote
SIBGRAPI
1999
IEEE
15 years 5 months ago
1999
IEEE
Many scientific applications use scattered data originated from samples. Interpolation techniques are necessary to estimate the values on non-sampled regions. In a previous work, t...