1855 search results - page 254 / 371 » System Consequence |
111
Voted
INEX
2007
Springer
15 years 8 months ago
2007
Springer
The Wikipedia XML collection turned out to be rich of marked-up phrases as we carried out our INEX 2007 experiments. Assuming that a phrase occurs at the inline level of the markup...
108
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
90
Voted
RTA
2007
Springer
15 years 8 months ago
2007
Springer
We investigate garbage collection of unreachable parts of rooted graphs from a categorical point of view. First, we define this task as the right adjoint of an inclusion functor. ...
108
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
118
Voted
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...