Search Sciweavers | Sciweavers

1210 search results - page 9 / 242

» Formal Techniques for Java Programs

Voted

DAC
1998
ACM

181views Computer Architecture» more DAC 1998»

Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement

15 years 10 months ago

Download www.xcf.berkeley.edu

Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...

James Shin Young, Josh MacDonald, Michael Shilman,...

claim paper

Read More »

click to vote

ICMLC
2010
Springer

160views Machine Learning» more ICMLC 2010»

An ontology-supported ubiquitous interface agent for cloud computing - Example on Bluetooth wireless technique with Java program

14 years 8 months ago

Download mail.sju.edu.tw

: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...

Sheng-Yuan Yang, Chun-Liang Hsu, Dong-Liang Lee

claim paper

Read More »

Voted

SAC
2010
ACM

180views Applied Computing» more SAC 2010»

Extraction of component-environment interaction model using state space traversal

15 years 4 months ago

Download d3s.mff.cuni.cz

Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...

Pavel Parizek, Nodir Yuldashev

claim paper

Read More »

click to vote

PPOPP
2005
ACM

118views Distributed And Parallel Com...» more PPOPP 2005»

Compiler techniques for high performance sequentially consistent java programs

15 years 3 months ago

Download domino.research.ibm.com

Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. M...

claim paper

Read More »