Sciweavers

1448 search results - page 184 / 290
» Restricted Stack Implementations
Sort
View
KBSE
2002
IEEE
14 years 2 months ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
ECOOP
2010
Springer
14 years 2 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky
DATE
2000
IEEE
140views Hardware» more  DATE 2000»
14 years 1 months ago
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
Luc Séméria, Koichi Sato, Giovanni D...
AGENTS
2000
Springer
14 years 1 months ago
Customer coalitions in the electronic marketplace
1 In the last few years, the electronic marketplace has witnessed an exponential growth in worth and size, and projections are for this trend to intensify in coming years. Yet, th...
Maksim Tsvetovat, Katia P. Sycara
ACNS
2010
Springer
156views Cryptology» more  ACNS 2010»
14 years 1 months ago
COP: A Step toward Children Online Privacy
We propose COP, a client-side system for protecting children’s online privacy and empowering parental control over children’s information disclosure with little manual effort. ...
Wei Xu, Sencun Zhu, Heng Xu