Sciweavers

7206 search results - page 1144 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
FSTTCS
2005
Springer
15 years 10 months 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 9 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
150
Voted
CCS
2009
ACM
15 years 8 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 8 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
125
Voted
AIR
2010
96views more  AIR 2010»
15 years 4 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 »