2226 search results - page 351 / 446 » Pdk: The System and Its Language |
165
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
161
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
205
click to vote
PLANX
2007
15 years 8 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
171
click to vote
LISA
2004
15 years 8 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
144
click to vote
USENIX
2001
15 years 8 months ago
2001
We desired a platform for researching advanced window layout paradigms including the use of constraints. Typical window management systems are written entirely in C or C++, compli...