2233 search results - page 158 / 447 » Modular type classes |
131
Voted
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents our latest work on identifying frame content types for understanding learning media content. In particular, we categorize frames into six classes namely, slide...
131
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Predicate detection is an important problem in distributed systems. Based on the temporal interactions of intervals, there exists a rich class of modalities under which global pred...
148
click to vote
CCS
1998
ACM
15 years 9 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
156
click to vote
DNA
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
163
Voted
CORR
2011
Springer
15 years 1 days ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...