Sciweavers

719 search results - page 48 / 144
» What HMMs Can Do
Sort
View
AMAST
2004
Springer
14 years 1 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith
ESCIENCE
2006
IEEE
14 years 1 months ago
Authorizing Remote Job Execution Based on Job Properties
: E-Science often requires access to remote Grid computing platforms. Current authorization systems on these remote systems have largely based decisions solely on the identity of t...
Sang-Min Park, Glenn S. Wasson, Marty Humphrey
CAV
2008
Springer
131views Hardware» more  CAV 2008»
14 years 1 days ago
Validating High-Level Synthesis
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
SEFM
2009
IEEE
14 years 4 months ago
A Computability Perspective on Self-Modifying Programs
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
Guillaume Bonfante, Jean-Yves Marion, Daniel Reyna...
ACCESSNETS
2008
Springer
14 years 4 months ago
Loop Identification and Capacity Estimation of Digital Subscriber Lines with Single Ended Line Testing
Digital subscriber lines offer the possibility to deliver broadband services over the existing telephone network. Still, beforehand subscriber loops must be tested to see whether t...
Carine Neus, Wim Foubert, Leo Van Biesen