7820 search results - page 1437 / 1564 » Formalization of Time and Space |
190
click to vote
RTAS
2007
IEEE
16 years 21 days ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
170
click to vote
ATVA
2007
Springer
16 years 18 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
131
click to vote
CICLING
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
211
click to vote
CMSB
2007
Springer
16 years 18 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
189
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...