Filters








175,156 Hits in 4.7 sec

Towards business processes orchestrating the physical enterprise with wireless sensor networks

Fabio Casati, Florian Daniel, Guenadi Dantchev, Joakim Eriksson, Niclas Finne, Stamatis Karnouskos, Patricio Moreno Montera, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Antonio Quartulli, Kay Romer (+3 others)
2012 2012 34th International Conference on Software Engineering (ICSE)  
The industrial adoption of wireless sensor networks (WSNs) is hampered by two main factors. First, there is a lack of integration of WSNs with business process modeling languages and back-ends.  ...  To this end, we provide makeSense: a unified programming framework and a compilation chain that, from high-level business process specifications, generates code ready for deployment on WSN nodes.  ...  w.r.t. high-level performance goals.  ... 
doi:10.1109/icse.2012.6227080 dblp:conf/icse/CasatiDDEFKMMOPQRSTV12 fatcat:ujtmbayoaveqrhapwymbu5oeoy

Adding Support for Automatic Enforcement of Security Policies in NFV Networks

Cataldo Basile, Fulvio Valenza, Antonio Lioy, Diego R. Lopez, Antonio Pastor Perales
2019 Zenodo  
The approach relies on a refinement model that allows the dynamic transformation of high-level security requirements into configuration settings for the Network Security Functions (NSFs), and optimization  ...  models that allow the optimal selection of the NSFs to use.  ...  high-level of abstraction and transforms it into a low-level concrete one [4] .  ... 
doi:10.5281/zenodo.3266876 fatcat:s7teqqivo5dghmcu767cqlz6cm

Continuous Integration of Field Level Production Data into Top-level Information Systems Using the OPC Interface Standard

Max Hoffmann, Christian Büscher, Tobias Meisen, Sabina Jeschke
2016 Procedia CIRP  
The approach provides integration capabilities for OPC-conform data generated on the field level.  ...  As Manufacturing Execution Systems or Enterprise Resource Planning tools are implemented in higher programming languages, the modeling of field level information has to be adapted in terms of a semantic  ...  Acknowledgements This work is support by the German Research Foundation in the Excellence Cluster "Integrative Production Technology for High-Wage Countries" at the RWTH Aachen University.  ... 
doi:10.1016/j.procir.2015.12.059 fatcat:y6gyrasc7fewln24tw7k4f7t4y

PyMTL: A Unified Framework for Vertically Integrated Computer Architecture Research

Derek Lockhart, Gary Zibrat, Christopher Batten
2014 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture  
However, constructing such a methodology with existing tools is a significant challenge due to the unique languages, design patterns, and tools used in functional-level (FL), cycle-level (CL), and register-transferlevel  ...  We introduce SimJIT, a custom JIT specialization engine that automatically generates optimized C++ for CL and RTL models.  ...  for their help developing the C++ and Verilog mesh network models.  ... 
doi:10.1109/micro.2014.50 dblp:conf/micro/LockhartZB14 fatcat:45vwsdljefg35akasoy5ijyspu

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks

Jacob Beal, Ting Lu, Ron Weiss, Eshel Ben-Jacob
2011 PLoS ONE  
high-level biologically-oriented programming language, Proto.  ...  The high level specification is compiled, using a regulatory motif based mechanism, to a gene network, optimized, and then converted to a computational simulation for numerical verification.  ...  (b) An example showing how a simple high level behavioral specification is converted first into a dataflow network, then into a genetic regulatory network, and finally optimized.  ... 
doi:10.1371/journal.pone.0022490 pmid:21850228 pmcid:PMC3151252 fatcat:s7kodv2l3rcbnbijjqfjqiagwi

Cross-layer design of reconfigurable cyber-physical systems

M. Masin, F. Palumbo, H. Myrhaug, J. A. de Oliveira Filho, M. Pastena, M. Pelcat, L. Raffo, F. Regazzoni, A. A. Sanchez, A. Toffetti, E. de la Torre, K. Zedda
2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017  
well as the environment are kept into consideration along with the properties that have to be addressed. • a multi-layer runtime adaptation strategy for CPS, embodied within a high-level self-adaptation  ...  As demonstrated in literature [8], they are extremely suitable to model both hardware (HW) and software (SW) components at a high level of abstraction, and to perform trade-off analysis and components  ...  CERBERO, as well as INTO-CPS, leverages on a model-based approach and on a comprehensive design environment, but it offers also runtime support for adaptivity and cross-layer optimization.  ... 
doi:10.23919/date.2017.7927088 dblp:conf/date/MasinPMFPPRRSTT17 fatcat:tsn66di7ozaarnxyttbtne4oji

Defense Advanced Research Projects Agency (Darpa) Fiscal Year 2016 Budget Estimates

Department Of Defense Comptroller's Office
2015 Zenodo  
The Defense Advanced Research Projects Agency (DARPA) FY2016 amounted to $2.868 billion in the President's request to support high-risk, high-reward research.  ...  -Develop models and simulation capability for testing, analysis, and validation of integrated system. -Implement the framework designs into a software prototype.  ...  Such assessments would optimize system-level trades of requirements and architectures to properly leverage an integrated set of system characteristics and capabilities.  ... 
doi:10.5281/zenodo.1215366 fatcat:cqn5tyfixjanzp5x3tgfkpedri

The future of optimization technology

Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
2013 Constraints  
These demands will place new emphasis on universal modeling languages and model transformation capabilities, as well as flexible and high level ways of specifying hybrid solutions.  ...  We foresee a huge demand for both the simplification of use of combinatorial optimization technology (so called "model and run" capabilities), as well as increasing need for the ability to quickly build  ...  However, they must be able to compile these high-level models into design models (e.g., CP or MIP models) and to find the "best" way to map high-level features into design models.  ... 
doi:10.1007/s10601-013-9149-z fatcat:tbj3bxz7ynfdbj7vp3wglohfvm

E/E Architecture Synthesis: Challenges and Technologies

Hadi Askaripoor, Morteza Hashemi Farzaneh, Alois Knoll
2022 Electronics  
However, the process of configuring and integrating critical applications into a vehicle central computer while meeting safety requirements and optimization objectives is a time-consuming, complicated,  ...  Consequently, a high-performance computing unit is required to provide the demanded power and process these applications while, in this case, vehicle architecture moves toward a centralized architecture  ...  Figure 2 shows a high-level defined software architecture for the car, which is integrated into a central HPCU.  ... 
doi:10.3390/electronics11040518 fatcat:u5cpyqwwnnbw7ppw3mv4hhhwg4

Using Methodology in Multimedia Resources in Teaching a Foreign Language

RUSTAMOV ALIJON
2021 Zenodo  
implement a training information, game modeling design and analytical function.  ...  The article reveals the need to use innovative technologies in foreign language classes.  ...  Using Internet resources in teaching foreign languages, integrating Internet tools into the educational process, allows you to more effectively solve a number of didactic tasks to form and improve reading  ... 
doi:10.5281/zenodo.4740065 fatcat:v7zda6vcmvafthjkzbmtn7nxmu

Integrating an Agent-Based Wireless Sensor Network within an Existing Multi-Agent Condition Monitoring System

P. C. Baker, V. M. Catterson, S. D. J. McArthur
2009 2009 15th International Conference on Intelligent System Applications to Power Systems  
For engineers to fully benefit from this new approach to condition monitoring, new sensor data must be incorporated into a single integrated system.  ...  2009) Integrating an agent-based wireless sensor network within an existing multi-agent condition monitoring system. . (2009) Integrating an agent-based wireless sensor network within an existing multi-agent  ...  It is proposed that the network model agent embodies such a capability, combining a theorem prover with models of the electrical and sensor networks, with appropriate links between the models.  ... 
doi:10.1109/isap.2009.5352888 fatcat:sdfah3vmtrdgrhov4nrsmtd6eu

CogMesh: Cognitive Wireless Mesh Networks

Tao Chen, Honggang Zhang, Marja Matinmikko, Marcos D. Katz
2008 2008 IEEE Globecom Workshops  
It serves as a model to inspire the design of future wireless networks.  ...  CogMesh is not a concept that simply applies cognitive functionalities into traditional wireless mesh networks.  ...  To make the integration feasible, there is a need to apply self-organization and self-optimization techniques into networks in order to mange the complexity.  ... 
doi:10.1109/glocomw.2008.ecp.37 fatcat:n7iochl6tbbrbgm6ikak7pxy7q

Sophia

Mike Wawrzoniak, Larry Peterson, Timothy Roscoe
2004 Computer communication review  
a logic language like Prolog.  ...  This paper argues that this approach has several advantages in managing and controlling a complex, federated, and evolving network: (1) a declarative logic language provides a natural way to express the  ...  We have built a "capabilitizing compiler" that permits the high-level language to hide capabilities from the programmer.  ... 
doi:10.1145/972374.972378 fatcat:g32hd5zg5nh27n43gpd44ujihe

Autonomic and Trusted Computing Paradigms [chapter]

Xiaolin Li, Hui Kang, Patrick Harrington, Johnson Thomas
2006 Lecture Notes in Computer Science  
The new trend is to integrate both towards trusted autonomic computing systems.  ...  This paper presents a comprehensive survey of the autonomic and trusted computing paradigms and a preliminary conceptual architecture towards trustworthy autonomic grid computing.  ...  The modeling of requirements is a critical component to divide the system requirements or high-level policies into disjoint sub-objectives and ensure that the system follows the desired behavior, which  ... 
doi:10.1007/11839569_14 fatcat:h2zowozaybgy5mqjmkxwfpbsni

Defense Advanced Research Projects Agency (Darpa) Fiscal Year 2015 Budget Estimates

Department Of Defense Comptroller's Office
2014 Zenodo  
The Defense Advanced Research Projects Agency (DARPA) FY2015 amounted to $2.9 billion in the President's request to support high-risk, high-reward research.  ...  DARPA seeks to improve the analysis of large neural data sets by creating interfaces that will allow researchers to generate new models across multiple scales.  ...  -Designed a game theoretic model of optimal and fair allocation of social capital among nodes in networks and used the model to develop an influencer estimation algorithm.  ... 
doi:10.5281/zenodo.1215345 fatcat:fjzhmynqjbaafk67q2ckcblj2m
« Previous Showing results 1 — 15 out of 175,156 results