Sciweavers

6768 search results - page 432 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
ICCS
2007
Springer
15 years 10 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
TACAS
1997
Springer
197views Algorithms» more  TACAS 1997»
15 years 11 months ago
Design/CPN - A Computer Tool for Coloured Petri Nets
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
Søren Christensen, Jens Bæk Jø...
CCGRID
2005
IEEE
16 years 14 days ago
ReGS: user-level reliability in a grid environment
Grid environments are ideal for executing applications that require a huge amount of computational work, both due to the big number of tasks to execute and to the large amount of ...
J. A. L. Sanches, Patrícia Kayser Vargas, I...
CORR
2008
Springer
72views Education» more  CORR 2008»
15 years 7 months ago
Design Optimization for an Electro-Thermally Actuated Polymeric Microgripper
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
R. Voicu, R. Muller, L. Eftime

Book
372views
17 years 2 months ago
EJB Design Patterns
"EJB Design Patterns goes beyond high-level design pattern descriptions into critical EJB-specific implementation issues, illustrated with source code implementations. The boo...
Floyd Marinescu