5343 search results - page 647 / 1069 » Keyword programming in java |
214
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
161
click to vote
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
187
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
144
click to vote
SIGADA
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
187
click to vote
ERLANG
2004
ACM
16 years 9 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...