Sciweavers

1541 search results - page 228 / 309
» Interaction Analysis in Aspect-Oriented Models
Sort
View
CAISE
2009
Springer
14 years 2 months ago
Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs...
Bela Mutschler, Manfred Reichert
CIKM
2005
Springer
14 years 1 months ago
A hybrid approach to NER by MEMM and manual rules
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...
Moshe Fresko, Binyamin Rosenfeld, Ronen Feldman
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
14 years 1 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
WSC
2008
13 years 10 months ago
Using simulation with Design For Six Sigma in a server manufacturing environment
This research presents an integrated simulation modelingDesign For Six Sigma (DFSS) framework to study the design and process issues in a server manufacturing environment. The ser...
Sreekanth Ramakrishnan, Pei-Fang Tsai, Christiana ...
ENTCS
2007
101views more  ENTCS 2007»
13 years 8 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...