Sciweavers

1151 search results - page 107 / 231
» A Generative Approach for Multi-agent System Development
Sort
View
TASE
2007
IEEE
14 years 3 months ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
FPL
2008
Springer
111views Hardware» more  FPL 2008»
13 years 10 months ago
Sampling from the exponential distribution using independent Bernoulli variates
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
David B. Thomas, Wayne Luk
ICST
2009
IEEE
13 years 6 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
FSKD
2005
Springer
91views Fuzzy Logic» more  FSKD 2005»
14 years 2 months ago
Visualization Process for Design and Manufacturing of End Mills
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...
Sung-Lim Ko, Trung-Thanh Pham, Yong-Hyun Kim
EMNLP
2008
13 years 10 months ago
Learning to Predict Code-Switching Points
Predicting possible code-switching points can help develop more accurate methods for automatically processing mixed-language text, such as multilingual language models for speech ...
Thamar Solorio, Yang Liu