2108 search results - page 262 / 422 » An Operational Semantics for Stateflow |
165
click to vote
FGCS
2007
15 years 4 months ago
2007
Abstract. E-Science Semantic Grids can often be thought of as dynamic collection of semantic subgrids where each subgrid is a collection of modest number of services that assembled...
225
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
124
Voted
PODS
2007
ACM
16 years 4 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
165
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Content-based publish/subscribe systems allow matching the content of events with predicates in the subscriptions. However, most existing systems only allow a limited set of opera...
140
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...