280 search results - page 27 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
130
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
141
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
127
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
122
click to vote
VLC
2008
15 years 4 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
171
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...