Sciweavers

1160 search results - page 128 / 232
» Applying Constraint Solving to the Management of Distributed...
Sort
View
MMM
2010
Springer
141views Multimedia» more  MMM 2010»
15 years 6 months ago
Slow Intelligence Systems
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
Shi-Kuo Chang
FGCN
2008
IEEE
161views Communications» more  FGCN 2008»
15 years 11 months ago
The Development of Software Pricing Schemata and Its Application to Software Industry in Korea
The purpose of this this research is to suggest comprehensive pricing schemata that software developers can use in the integrated state of software uses. To do so, we have reviewe...
Youngsik Kwak, Yunkyung Lee, Yoonsik Kwak
ICNC
2005
Springer
15 years 10 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
ISSRE
2006
IEEE
15 years 10 months ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
CPAIOR
2006
Springer
15 years 8 months ago
The Timetable Constrained Distance Minimization Problem
We define the timetable constrained distance minimization problem (TCDMP) which is a sports scheduling problem applicable for tournaments where the total travel distance must be mi...
Rasmus V. Rasmussen, Michael A. Trick