3750 search results - page 133 / 750 » Timed Automata Patterns |
128
click to vote
ACSD
2010
IEEE
15 years 17 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
112
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
119
Voted
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...
104
Voted
COLING
2000
15 years 3 months ago
2000
Results presented in this paper strongly support the notion that similarities as well as differences in language systems can be empirically investigated by looking into the lingui...
129
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. Mobile objects have become ubiquitous in our everyday lives, ranging from cellular phones to sensors, therefore, analyzing and mining mobile data becomes an interesting p...