Sciweavers

10274 search results - page 1856 / 2055
» Lean Software Development
Sort
View
246
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 9 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
133
Voted
BIS
2010
159views Business» more  BIS 2010»
14 years 9 months ago
Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
Jérémy Besson, Ieva Mitasiunaite, Au...
139
Voted
CONSTRAINTS
2011
14 years 9 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...
149
Voted
CORR
2011
Springer
221views Education» more  CORR 2011»
14 years 9 months ago
Course on System Design (structural approach)
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
Mark Sh. Levin
118
Voted
JSAC
2011
108views more  JSAC 2011»
14 years 9 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...
« Prev « First page 1856 / 2055 Last » Next »