Sciweavers

1234 search results - page 120 / 247
» An evaluation of conceptual business process modelling langu...
Sort
View
181
Voted
ICTAI
2008
IEEE
16 years 1 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
201
Voted
ACL
2007
15 years 8 months ago
Unsupervised Language Model Adaptation Incorporating Named Entity Information
Language model (LM) adaptation is important for both speech and language processing. It is often achieved by combining a generic LM with a topic-specific model that is more releva...
Feifan Liu, Yang Liu
169
Voted
MSR
2005
ACM
16 years 18 days ago
SCQL: a formal model and a query language for source control repositories
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
Abram Hindle, Daniel M. Germán
282
Voted
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
16 years 7 months ago
Model-driven design of service-enabled web applications
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
Marco Brambilla, Stefano Ceri, Piero Fraternali, R...
156
Voted
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 4 months ago
Requirements and Concepts for Transaction Level Assertions
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...