280 search results - page 27 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
123
Voted
COMPSAC
2010
IEEE
15 years 1 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...
132
click to vote
DEXAW
2006
IEEE
15 years 9 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...
120
Voted
FSEN
2007
Springer
15 years 9 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...
109
Voted
VLC
2008
15 years 3 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...
165
Voted
BMCBI
2004
15 years 3 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...