10055 search results - page 1439 / 2011 » Structured programming using processes |
233
click to vote
ICALP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
170
click to vote
ICWE
2005
Springer
16 years 23 days ago
2005
Springer
The navigation routing code of a web application is the part of the code involved in routing a request from a web page through the appropriate components on the server, typically e...
223
Voted
SIGMOD
2004
ACM
16 years 20 days ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...
192
click to vote
CP
2004
Springer
16 years 20 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
164
click to vote
FMCAD
2004
Springer
16 years 19 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...