Sciweavers

2251 search results - page 111 / 451
» Specification and Implementation Problems for C
Sort
View
147
Voted
DATESO
2006
83views Database» more  DATESO 2006»
15 years 5 months ago
Using Object And Object-Oriented Technologies for XML-native Database Systems
Abstract. The aim of this article is to explore and investigate possibilities of reuse already known techniques from object and objectoriented processing for effective processing i...
David Tóth, Michal Valenta
146
Voted
WAE
2000
95views Algorithms» more  WAE 2000»
15 years 4 months ago
Two-Dimensional Arrangements in CGAL and Adaptive Point Location for Parametric Curves
Given a collection C of curves in the plane, the arrangement of C is the subdivision of the plane into vertices, edges and faces induced by the curves in C. Constructing arrangemen...
Iddo Hanniel, Dan Halperin
173
Voted
JCST
2010
198views more  JCST 2010»
14 years 10 months ago
Certification of Thread Context Switching
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
Yu Guo, Xinyu Jiang, Yiyun Chen
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
15 years 9 months ago
A web services-based business interactions manager to support electronic commerce applications
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
Youcef Baghdadi
125
Voted
RTS
2006
106views more  RTS 2006»
15 years 3 months ago
Q-SCA: Incorporating QoS support into software communications architecture for SDR waveform processing
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
Jaesoo Lee, Saehwa Kim, Jiyong Park, Seongsoo Hong