Sciweavers

3731 search results - page 219 / 747
» cases 2006
Sort
View
INFORMATICALT
2002
54views more  INFORMATICALT 2002»
15 years 6 months ago
Separation Of Concerns in Multi-language Specifications
Abstract. We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-di...
Robertas Damasevicius, Vytautas Stuikys
INFORMATICALT
2002
72views more  INFORMATICALT 2002»
15 years 6 months ago
Simulation of Conflict in an Agent World: Access to Resources and Possibility of Termination of the Population
The goal of the paper is to create a model for investigating the character of relationships between the freedom and restrictions in the terrorism context, in order to find out how ...
Jaak Tepandi
INFSOF
2002
88views more  INFSOF 2002»
15 years 6 months ago
Methodologies and website development: a survey of practice
Website development work is a growing aspect of the IT activities within many organisations. However, the manner in which website development actually takes place within organisat...
Mark J. Taylor, J. McWilliam, H. Forsyth, S. Wade
IPL
2002
90views more  IPL 2002»
15 years 6 months ago
Recognition and dualization of disguised bidual Horn functions
We consider the problem of dualizing a Boolean function f given by CNF, i.e., computing a CNF for its dual fd . While this problem is not solvable in quasi-polynomial total time i...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
IPL
2002
118views more  IPL 2002»
15 years 6 months ago
Lower bounds for approximate polygon decomposition and minimum gap
We consider the problem of decomposing polygons (with holes) into various types of simpler polygons. We focus on the problem of partitioning a rectilinear polygon, with holes, int...
Joachim Gudmundsson, Thore Husfeldt, Christos Levc...