6343 search results - page 1134 / 1269 » Development of a Cartographic Language |
ORDER
2010
14 years 8 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
PVLDB
2010
14 years 8 months ago
2010
Our analysis of many real-world event based applications has revealed that existing Complex Event Processing technology (CEP), while effective for efficient pattern matching on e...
STTT
2010
14 years 8 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
101
click to vote
TWEB
2010
14 years 8 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
WS
2010
ACM
14 years 8 months ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...