Sciweavers

7206 search results - page 1144 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
FSTTCS
2005
Springer
16 years 5 days ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang

Publication
212views
15 years 11 months ago
Browser independent content based image resizing for liquid web layouts
A typical problem for webdesigners is to realize pages that can be potentially accessed from a number of display devices with different screen sizes and resolutions. Liquid layouts...
Gallea Roberto, Ardizzone Edoardo, Pirrone Roberto
CCS
2009
ACM
15 years 10 months ago
The bayesian traffic analysis of mix networks
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
Carmela Troncoso, George Danezis
WLP
2000
Springer
15 years 10 months ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs
AIR
2010
96views more  AIR 2010»
15 years 6 months ago
Logic programming for combinatorial problems
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
Toshinori Munakata, Roman Barták
« Prev « First page 1144 / 1442 Last » Next »