4666 search results - page 317 / 934 » Equations on Timed Languages |
215
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
214
click to vote
ISORC
2009
IEEE
16 years 2 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
177
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
201
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
231
Voted
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...