Sciweavers

11973 search results - page 239 / 2395
» Methods for organizational development
Sort
View
EUROMICRO
2004
IEEE
15 years 10 months ago
Introducing Agile Methods: Three Years of Experience
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
Grigori Melnik, Frank Maurer
EJC
2008
15 years 7 months ago
An Efficient Method for Quick Construction of Web Services
With the development of the Internet, Web services, such as Google Maps API and YouTube Data API, become more important and convenient for the Web knowledge distribution and integr...
Hao Han, Yohei Kotake, Takehiro Tokuda
154
Voted
NETWORKING
2004
15 years 7 months ago
A New Method of Primary Routes Selection for Local Restoration
We consider the problem of non-bifurcated multicommodity flows rerouting in survivable connection-oriented networks. We focus on local restoration, in which the backup route is rer...
Krzysztof Walkowiak
WCE
2007
15 years 7 months ago
Extended Monotone Methods for Hyperbolic Problems in Three Variables
—We consider Initial-Boundary value problems associated with nonlinear hyperbolic partial differential equation in three independent variables, in a general setting wherein the ...
J. O. Adeyeye, R. Okojie, S. G. Pandit
147
Voted
ENTCS
2002
82views more  ENTCS 2002»
15 years 6 months ago
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
Alberto Momigliano, Simon Ambler, Roy L. Crole