Sciweavers

9272 search results - page 1413 / 1855
» Process Management Agent
Sort
View
ICONFERENCE
2011
15 years 1 months ago
eBirding: technology adoption and the transformation of leisure into science
The decreasing cost of technology and Internet access has resulted in increasingly large-scale scientific research projects that rely on technology-mediated public participation....
Andrea Wiggins
NFM
2011
264views Formal Methods» more  NFM 2011»
15 years 1 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
IANDO
2010
112views more  IANDO 2010»
15 years 1 months ago
Generative mechanisms for innovation in information infrastructures
This paper investigates how innovation of ICT based services takes place within existing infrastructures, including the whole network of technology, vendors and customers. Our res...
Bendik Bygstad
JCIT
2010
150views more  JCIT 2010»
15 years 1 months ago
Characteristic Description of Coupled Task Sets Based on Design Structure Matrix and Its Optimal Time and Efforts Solution by Ge
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...
Ting-gui Chen, Chun-hua Ju
ANOR
2011
169views more  ANOR 2011»
14 years 10 months ago
Predetermined intervals for start times of activities in the stochastic project scheduling problem
This paper proposes a new methodology to schedule activities in projects with stochastic activity durations. The main idea is to determine for each activity an interval in which th...
Illana Bendavid, Boaz Golany
« Prev « First page 1413 / 1855 Last » Next »