10055 search results - page 440 / 2011 » Structured programming using processes |
183
click to vote
CARDIS
2008
Springer
15 years 8 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
194
Voted
ACTA
2010
15 years 7 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
168
click to vote
INFSOF
1998
15 years 6 months ago
1998
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
184
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
In order to supply a growing tissue with oxygen and nutrients and to remove its metabolic wastes, blood vessels penetrating the tissue are formed. Multiple mechanisms are involved ...
167
click to vote
ELPUB
2003
ACM
16 years 2 days ago
2003
ACM
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...