322 search results - page 56 / 65 » Integrated Electronic Publishing Environment. A Case Study |
102
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The aim of this paper is to provide insight in the important role simulation technologies can play in the context of effective business process-oriented learning. The gap...
81
Voted
WSC
2007
14 years 12 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
IIWAS
2008
14 years 11 months ago
2008
The growing trends towards integrating legacy applications with new systems in a network-centric environment has introduced yet another level of complexity beyond those we witness...
NIPS
2007
14 years 11 months ago
2007
Recent experimental studies have focused on the specialization of different neural structures for different types of instrumental behavior. Recent theoretical work has provided no...