Search Sciweavers | Sciweavers

25156 search results - page 186 / 5032

» Applications for conscious systems

187

click to vote

ICFP
2003
ACM

119views Programming Languages» more ICFP 2003»

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines

16 years 6 months ago

Download www-2.cs.cmu.edu

We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...

Alberto Momigliano, Jeff Polakow

claim paper

Read More »

103

click to vote

HICSS
2007
IEEE

73views Biometrics» more HICSS 2007»

Nested Difference Tests for Examining Effects of Dependability on Enterprise Applications Success in E-Business

16 years 26 days ago

Download csdl2.computer.org

Jung-Yu Lai, Chun-Chieh Yang

claim paper

Read More »

120

click to vote

ICEIS
2006
IEEE

61views Information Technology» more ICEIS 2006»

A Supporting Tool to Identify both Satisfied Requirements and Tolerant Threats for a Java Mobile Code Application

16 years 17 days ago

Download kaiya.cs.shinshu-u.ac.jp

Haruhiko Kaiya, Kouta Sasaki, Chikanobu Ogawa, Ken...

claim paper

Read More »

109

click to vote

ICEIS
2005
IEEE

65views Information Technology» more ICEIS 2005»

Building Applications Able to Cope with Problematic Data Using a Datawarp Approach

16 years 3 days ago

Download eprints.ecs.soton.ac.uk

Stephen Crouch, Peter Henderson, Robert John Walte...

claim paper

Read More »

click to vote

ICEIS
2005
IEEE

64views Information Technology» more ICEIS 2005»

Implementing Multilingual Information Framework in Applications Using Textual Display

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers