Sciweavers

8810 search results - page 162 / 1762
» Open. Closed. Open
Sort
View
DEXA
2010
Springer
186views Database» more  DEXA 2010»
15 years 6 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
CORR
2010
Springer
82views Education» more  CORR 2010»
15 years 6 months ago
Self-Selected or Mandated, Open Access Increases Citation Impact for Higher Quality Research
Background: Articles whose authors have supplemented subscription-based access to the publisher's version by selfarchiving their own final draft to make it accessible free fo...
Yassine Gargouri, Chawki Hajjem, Vincent Larivi&eg...
ENTCS
2008
140views more  ENTCS 2008»
15 years 6 months ago
Fusing a Transformation Language with an Open Compiler
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
Karl Trygve Kalleberg, Eelco Visser
IJET
2006
40views more  IJET 2006»
15 years 6 months ago
An open source information system for online counseling for a Mexican university
One of the primary goals of undergraduate studies programs is to promote the professional and personal growth and success of their students. First year students, however, often suf...
Arthur Walter Edwards
JCP
2008
104views more  JCP 2008»
15 years 6 months ago
Trusted Decision Mechanism Based on Fuzzy Logic for Open Network
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
Lin Zhang, Ruchuan Wang, Haiyan Wang