53327 search results - page 10326 / 10666 » or 2007 |
170
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
214
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
167
click to vote
FAW
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
205
Voted
FC
2007
Springer
16 years 1 months ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
226
click to vote
FC
2007
Springer
16 years 1 months ago
2007
Springer
Task-specific groups are often formed in an ad-hoc manner within big structures, like companies. Take the following typical scenario: A high rank manager decides that a task force...