Sciweavers

379 search results - page 34 / 76
» Foundations of Uncertain-Data Integration
Sort
View
AISC
2010
Springer
15 years 9 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
128
Voted
TPPP
1994
15 years 9 months ago
Advanced Component Interface Specification
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
Manfred Broy
APWEB
2006
Springer
15 years 8 months ago
Tourism Guided Information System for Location-Based Services
Mobile information community develops quickly, as mobile telecommunication technology matches to the third generation. XML-based GIS becomes a global standard and the foundation. R...
Chang-Won Jeong, Yeong-Jee Chung, Su-Chong Joo, Jo...
151
Voted
FECS
2007
138views Education» more  FECS 2007»
15 years 6 months ago
Computing Branches Out: On Revitalizing Computing Education
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
Ljubomir Perkovic, Amber Settle
SPLC
2008
15 years 6 months ago
Calculating and Modeling Common Parts of Software Product Lines
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...