Sciweavers

2658 search results - page 365 / 532
» Micro-communication Element System
Sort
View
DEBS
2003
ACM
15 years 9 months ago
A peer-to-peer approach to content-based publish/subscribe
Publish/subscribe systems are successfully used to decouple distributed applications. However, their efficiency is closely tied to the topology of the underlying network, the desi...
Wesley W. Terpstra, Stefan Behnel, Ludger Fiege, A...
COSIT
2003
Springer
151views GIS» more  COSIT 2003»
15 years 9 months ago
Landscape Categories in Yindjibarndi: Ontology, Environment, and Language
This paper describes categories for landscape elements in the language of the Yindjibarndi people, a community of Indigenous Australians. Yindjibarndi terms for topographic featur...
David M. Mark, Andrew G. Turk
FM
2003
Springer
98views Formal Methods» more  FM 2003»
15 years 9 months ago
Generating Counterexamples for Multi-valued Model-Checking
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
Arie Gurfinkel, Marsha Chechik
C5
2009
IEEE
15 years 9 months ago
Lively Fabrik
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empower...
Jens Lincke, Robert Krahn, Dan Ingalls, Robert Hir...
ASPDAC
2000
ACM
107views Hardware» more  ASPDAC 2000»
15 years 8 months ago
Taiwan foundry for system-in-package (SIP)
-- System-In-Package (SIP) is a cost-effective alternative to System-On-Chip (SOC) and chips with embedded memory. The key elements of SIP technology include I/O redistribution, so...
Albert Lin