1524 search results - page 126 / 305 » Operational Semantics of Hybrid Systems |
EICS
2010
ACM
15 years 3 months ago
2010
ACM
In e-business, creating a common concept set for business integration, interoperation and interaction has to consider the heterogeneity reality of different interpretations from m...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
108
click to vote
JMLR
2012
13 years 13 days ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...